Isomorphism theory of congruence groups
نویسندگان
چکیده
منابع مشابه
Isomorphism of Borel Full Groups
Suppose that G and H are Polish groups which act in a Borel fashion on Polish spaces X and Y . Let EX G and E Y H denote the corresponding orbit equivalence relations, and [G] and [H] the corresponding Borel full groups. Modulo the obvious counterexamples, we show that [G] ∼= [H] ⇔ EX G ∼=B EY H .
متن کاملLifts of projective congruence groups
We show that noncongruence subgroups of SL2(Z) projectively equivalent to congruence subgroups are ubiquitous. More precisely, they always exist if the congruence subgroup in question is a principal congruence subgroup Γ(N) of level N > 2, and they exist in many cases also for Γ0(N). The motivation for asking this question is related to modular forms: projectively equivalent groups have the sam...
متن کاملChecking π-Calculus Structural Congruence is Graph Isomorphism Complete
We show that the problems of checking π-Calculus structural congruence (πSC) and graph isomorphism (GI) are Karp reducible to each other. The reduction from GI to πSC is given explicitly, and the reduction in the opposite direction proceeds by transforming πSC into an instance of the term equality problem (i.e., the problem of deciding equivalence of two terms in the presence of associative and...
متن کاملOn the Isomorphism of Fundamental Groups
One can prove the following propositions: (1) Let A, B, a, b be sets and f be a function from A into B. If a ∈ A and b ∈ B, then f+·(a7−→ . b) is a function from A into B. (2) For every function f and for all sets X, x such that f↾X is one-to-one and x ∈ rng(f↾X) holds (f · (f↾X)−1)(x) = x. (3) Let x, y, X, Y , Z be sets, f be a function from [:X, Y :] into Z, and g be a function. If Z 6= ∅ and...
متن کاملComputation of Isomorphism Classes of /»-Groups
p-groups may be classified by splitting the groups up into classes having the same commutator relations (isoclinism classes) and then determining the nonisomorphic groups in each class. This paper reduces the problem of determining the isomorphism classes to that of finding the equivalence classes of a set of matrices under some equivalence relation. A computer is used to find the equivalence c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1971
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1971-12648-4